761. Quantum computing since Democritus /
پدیدآورنده: Scott Aaronson
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Quantum computers,Quantum theory-- Mathematics
رده :
QC174
.
17
.
M35
A27
2013
762. RTL/2 design and philosophy
پدیدآورنده: Barnes, John Gilbert Presslie
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: ، RTL/2 )Computer program language(
رده :
QA
76
.
73
.
R45
B3
763. Readings in Formal Epistemology
پدیدآورنده: edited by Horacio Arl??-Costa, Vincent F. Hendricks, Johan van Benthem
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع: Knowledge, Theory of,Logic, Symbolic and mathematical,Game theory
رده :
EBOOK
,
BD
R4
161
764. Readings in Formal Epistemology :
پدیدآورنده: edited by Horacio Arló-Costa, Vincent F. Hendricks, Johan van Benthem.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Game theory.,Knowledge, Theory of.,Logic, Symbolic and mathematical.,Philosophy.,Game theory.,Game theory.,Knowledge, Theory of.,Logic, Symbolic and mathematical.,Mathematical theory of computation.,Mathematics-- Game Theory.,Mathematics-- Logic.,Philosophy-- Epistemology.,Philosophy.,Philosophy: epistemology & theory of knowledge.
رده :
BD143-237
765. Reasonableness In Liberal Political Philosophy
پدیدآورنده: \ Edited by Shaun P.Young
کتابخانه: كتابخانه مجلس شورای اسلامى (تهران)
موضوع:
766. Reasoning with Actual and Potential Contradictions
پدیدآورنده: edited by Philippe Besnard, Anthony Hunter.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Artificial intelligence.,Logic.,Philosophy (General)
رده :
Q375
.
E358
1998
767. Research and discovery :
پدیدآورنده: Russell Lawson, editor.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Research-- United States-- History, Encyclopedias.,Science-- United States-- History, Encyclopedias.,Naturwissenschaften,Research.,Science.,Sozialwissenschaften,Wissenschaftler,United States.,USA., 7, 7
رده :
Q127
.
U6
R45
2008
768. Responding to terrorism :
پدیدآورنده: 20090601
کتابخانه: كتابخانه مجلس شورای اسلامى (تهران)
موضوع:
769. Restoring justice after large-scale
پدیدآورنده: 20090601 0
کتابخانه: كتابخانه مجلس شورای اسلامى (تهران)
موضوع:
770. Rights, legal empowerment, and poverty : an overview of the issues / Dan Banik -- The political economy of legal empowerment of the poor / Arjun Sengupta -- Legal empowerment as a new concept in development : transforming good ideas into global action / Mona Elisabeth Brøther -- Constitutionalism in an insurgent state : rethinking legal empowerment of the poor in a divided Bolivia / John-Andrew McNeish -- Poverty, legal activism, and development in rural China / Susanne Brandtstädter -- The access to justice challenge in Uganda / Donald Rukare -- Legal empowerment and the right to food / Marc Cohen and Mary Ashby Brown -- Are Africans cul
پدیدآورنده: edited by Dan Banik.
کتابخانه: كتابخانه مجلس شورای اسلامى (تهران)
موضوع:
771. Robotics, AI and the future of law /
پدیدآورنده: Marcelo Corrales, Mark Fenwick, Nikolaus Forgó, editors.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Artificial intelligence-- Law and legislation.,Practice of law-- Automation.,Practice of law-- Technological innovations.,Robotics-- Law and legislation.,Artificial intelligence-- Law and legislation.,LAW-- Computer & Internet.,Practice of law-- Automation.,Practice of law-- Technological innovations.,Robotics-- Law and legislation.
رده :
K564
.
C6
R63
2018
772. Rohit Parikh on Logic, Language and Society
پدیدآورنده: edited by Can Baskent, Lawrence S. Moss, Ramaswamy Ramanujam
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع: Philosophy,Logic,Mathematical logic,Semantics,Philosophy,Logic,Mathematical Logic and Formal Languages,Mathematical Logic and Foundations,Semantics
رده :
EBOOK
,
BC
R6
140
773. Role of emotion in information retrieval
پدیدآورنده: Moshfeghi, Yashar
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: QA75 Electronic computers. Computer science; BF Psychology
774. Routledge studies in hu
پدیدآورنده: edited by Libby Porter and Kate Shaw.
کتابخانه: كتابخانه مجلس شورای اسلامى (تهران)
موضوع:
776. Science and the spiritual quest :
پدیدآورنده: [edited by] W. Mark Richardson [and others].
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Religion and science.,Religion et sciences.,11.02 philosophy of religion.,Aufsatzsammlung,Geloof en wetenschap.,Religion and science.,Wissenschaftstheorie
رده :
BL240
.
3
.
S35
2002
777. Science fiction and philosophy :
پدیدآورنده: edited by Susan Schneider.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Philosophy in literature.,Philosophy, Introductions.,Science fiction-- Philosophy.
رده :
PN3433
.
S377
2016
778. Science in dispute
پدیدآورنده: / Neil Schlager, editor
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Science--Social aspects,Technology--Social aspects,Science--Philosophy,Science--History
779. Science in the age of computer simulation /
پدیدآورنده: Eric B. Winsberg
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Knowledge, Theory of,Science-- Data processing-- Philosophy,Science-- Experiments-- Computer simulation,Science-- Methodology,Science-- Philosophy
رده :
Q175
.
32
.
K46
W56
2010
